-
1 syntactic consistency
Большой англо-русский и русско-английский словарь > syntactic consistency
-
2 syntactic consistency
Математика: синтаксическая непротиворечивость -
3 syntactic consistency
English-Russian scientific dictionary > syntactic consistency
-
4 syntactic consistency
Англо-русский словарь по исследованиям и ноу-хау > syntactic consistency
-
5 consistency
1) согласованность, непротиворечивость; целостность2) стат. состоятельность3) последовательность, логичность, непротиворечивость4) постоянство5) совместимость; совместность6) консистенция; плотность• -
6 синтаксическая непротиворечивость
Русско-английский научно-технический словарь Масловского > синтаксическая непротиворечивость
-
7 синтаксическая непротиворечивость
Большой англо-русский и русско-английский словарь > синтаксическая непротиворечивость
-
8 синтаксическая непротиворечивость
Mathematics: syntactic consistencyУниверсальный русско-английский словарь > синтаксическая непротиворечивость
-
9 consistence
= consistency1) совместимость; согласованность; непротиворечивость; целостность2) консистенция3) вчт состоятельность (напр. оценки)•- consistence of transaction
- cache consistence
- constrained consistence
- logical consistence
- omega-consistence
- semantic consistence
- syntactic consistence
- universal consistence -
10 consistence
= consistency1) совместимость; согласованность; непротиворечивость; целостность2) консистенция3) вчт. состоятельность (напр. оценки)•- consistence of classifier
- consistence of transaction
- constrained consistence
- logical consistence
- omega-consistence
- semantic consistence
- syntactic consistence
- universal consistenceThe New English-Russian Dictionary of Radio-electronics > consistence
-
11 check
tʃek
1. сущ.
1) шахм. шах (употр. тж. как межд.) the king is in check ≈ королю объявлен шах to produce a check ≈ сделать шах to discover check ≈ обнаружить шаховую позицию perpetual check ≈ вечный шах
2) а) задержка, остановка( в развитии, карьере и т. п. из-за какой-л. помехи, препятствия или противодействия) Syn: arrest
1. б) отпор, отражение нападения Syn: rebuff
1., repulse
1. в) потеря охотничьей собакой следа
3) внезапная остановка;
пауза, перерыв (при движении, работе) without check
4) а) ограничивание, сдерживание in check Syn: restraint б) препятствие, ограничитель (любое лицо или предмет, действующие в качестве ограничивающего начала) The magistrate may be necessary as a check on the doctor. ≈ Мировой судья может оказаться необходимым, как некто, кто сможет сдержать доктора. в) амер. мартингал (в верховой езде) Syn: check-rein
5) а) критерий (стандарт для оценки и проверки) Syn: criterion б) обследование, исследование background check ≈ расследование истории вопроса/проблемы Syn: examination в) контроль, проверка to conduct, make, run a check of/on ≈ осуществлять контроль, проводить проверку clearance check loyalty check Syn: inspection
6) контрольный штемпель;
отметка, галочка (знак проверки)
7) а) ярлык;
багажная квитанция baggage амер. check ≈ квитанция на получение багажа б) номерок( в гардеробе) в) преим. амер. счет в ресторане г) контрамарка;
корешок( билета и т. п.)
8) амер. фишка, марка (в карт. игре) to cash, hand, pass in one's checks ид. ≈ умереть
9) амер. чек to cash a check ≈ платить по чеку to clear a check ≈ производить выплаты по чеку to cover a check (by making a deposit) ≈ обеспечивать денежное покрытие чека (с помощью депозита) to deposit a check ≈ сделать вклад в банке to draw a check against one's account ≈ выписать чек на чей-л. счет to draw a check on a bank ≈ выписать чек на счет в банке to endorse a check ≈ подписывать чек на какую-л. сумму to issue, make out, write out a check to ≈ выписать чек to kite a check ≈ получать деньги по фиктивным чекам to pass a (bad) check ≈ пустить в обращение фальшивый чек to present a check ≈ предъявить чек to stop payment of/on a check ≈ прекратить выплату по чекам bad check bounced check cashier's check certified check
10) клетка( на ткани) ;
клетчатая ткань
11) с.-х. делянка
12) трещина, щель( в дереве) Syn: crack
1., break I
1.
2. прил.
1) контрольный;
испытательный check experiment ≈ контрольный опыт check ballot ≈ проверочное голосование
2) клетчатый check shirt ≈ клетчатая рубашка
3. гл.
1) шахм. объявлять шах
2) а) останавливать;
препятствовать( продвижению) Syn: stop
2., brake
2. б) поэт. натягивать( поводья)
3) а) внезапно остановиться, отшатнуться( от неожиданности, страха;
проявить осторожность) Syn: stop
2. б) охот. останавливаться, потеряв след ( об охотничьих собаках)
4) ограничивать, сдерживать, обуздывать, регулировать He hastily checked the impulse. ≈ Он быстро подавил этот порыв. Mr. Baldwin checked the enthusiasm of his visitors. ≈ Мистер Болдуэн умерил энтузиазм своих гостей. The multiplication of animals is checked only by want of food, and by the hostility of races. ≈ Размножение животных сдерживается только количеством еды и степенью агрессивности других видов. Syn: restrain
5) а) проверять, сверять How can you check on whether it will rain that day? ≈ Как проверить, будет в тот день идти дождь? We must check the book over before sending it to the printer. ≈ Нам надо еще раз внимательно просмотреть книгу, прежде чем отсылать ее издателю. We must check through the pages to see if any are missing. ≈ Надо просмотреть бумаги, вдруг что-то пропало. Syn: verify б) контролировать Syn: control
2.
6) соответствовать, совпадать The description checks with the photograph. ≈ Описание соответствует фотографии.
7) отмечать галочкой или каким-л. знаком( что-л. проверенное)
8) амер. выписывать чек to check upon smb. for $500 ≈ выписать на кого-л. чек на 500 долларов
9) преим. амер. сдавать( в гардероб, в камеру хранения, в багаж и т. п.) They walked out into the club and checked their hats. ≈ Они вошли в клуб и сдали на вешалку свои шляпы.
10) (ранее диал., в современном употреблении разг.) делать выговор, отчитывать;
ругать, давать нагоняй Syn: rebuke
2., reprove
2., reprimand
2.
11) раскрашивать клеткой
12) а) редк. располагать в шахматном порядке б) амер. размечать на квадраты (землю для дальнейшего засевания)
13) а) вызывать трещины The sun checks timber. ≈ Солнце заставляет доски растрескиваться. б) покрываться трещинами ∙ Syn: crack
3., split
3. ∙ check back check in check off check on check over check out check up check with препятствие, остановка;
задержка - to serve as a * служить препятствием;
обуздывать - wind acts as a * on speed ветер мешает быстрой езде - his illness gave a * to our plans его болезнь сорвала наши планы - to keep in * держать в руках, контролировать - keep your emotions in * сдерживайте свои чувства - to keep a * on smb. держать кого-л в руках, не давать воли кому-л - to keep a * on smth. следить за чем-л.;
контролировать что-л;
держать что-л. в своих руках - keep a * on your tongue думай, прежде чем говорить преим. (военное) отпор, приостановка наступления или продвижения проверка, контроль - accuracy * проверка точности - spot *s (полиграфия) выборочная корректура, выборочный редакционный просмотр галочка, птичка, отметка ( знак проверки) номерок (в гардеробе) - hat * номерок на шляпу ярлык;
богажная квитанция - a * for a suitcase квитанция на чемодан контрольный штемпель контрамарка;
корешок (билета) клетка (рисунок ткани) клетчатая ткань;
шотландка - do you want a stripe or a *? вам в полоску или в клетку? счет (в ресторане) (шахматное) шах - double * двойной шах - perpetual * вечный шах - * to the king шах королю (сельскохозяйственное) чек, делянка, окруженная валом и затапливаемая водой (сельскохозяйственное) контрольная делянка (охота) потеря (собакой) следа (специальное) трещина, щель (в дереве) ;
волосная трещина (американизм) (карточное) фишка, марка > *s and balances принцип взаимозависимости и взаимозависимости и взаимоограничения законодательной, исполнительной и судебной власти контрольный, проверочный, испытательный - * analysis контрольный анализ - * cage клетка или садок для контрольных животных - * experiment поверочный опыт - * flight (авиация) контрольный полет - * sample контрольный образец - * station( военное) пункт технического осмотра - * test поверочное испытание клетчатый - * handkerchief клетчатый платок - * system of irrigation (сельскохозяйственное) орошение способом затопления по клеткам запирающий, задерживающий - * dam задерживающая плотина, защитная дамба или плотина - * valve( техническое) запорный клапан, обратный клапан - * work (техническое) периодическое включение и выключение механизма > * wine марочное вино останавливать, сдерживать;
препятствовать;
удерживать;
обуздывать - to * the advance of the enemy приостановить продвижение противника - to * extravagant spending положить конец расточительству - to * anger подавить гнев - to * the growth замедлять рост - he *ed his impetuous son он сдерживал своего необузданного сына - to * a fire остановить пожар - to * oneself остановиться, удержаться;
сдержаться - she *ed herself она не договорила - he *ed himself just as he was about to blurt out his indignation он подавил готовые вырваться слова негодования проверять, контролировать;
ревизовать;
сличать;
расследовать - to * figures проверять цифры - to * by sight проверять на глаз - to * for errors корректировать, исправлять - to * an instrument выверять прибор - to * one's speed контролировать скорость - * into the matter разберитесь в этом деле - * bearing! (специальное) проверить пеленг!, взять контрольный пеленг! (команда) проверять, выяснять;
убеждаться( в чем-л.) - we must * on him его надо проверить - to * on a statement проверить правильность какого-л утверждения - to * on the past experience of the applicants выяснить уровень квалификации претендентов на должность сверять, сличать - * your watch with the tower clock проверьте свои часы по башенным (американизм) соответствовать. совпадать - his statement *s with yours его заявление совпадает с вашим - the description *s with the photograph описание соответствует фотографии (американизм) сдавать (в гардероб, в камеру хранения, в багаж) - have you *ed all your luggage? вы все свои вещи сдали в багаж? - * in your coat and hat cдайте в гардероб пальто и шляпу принимать на хранение - the hotel *ed our baggage гостиница приняла на хранение наш багаж отмечать галочкой, значком - how many mistakes did the teacher *? сколько ошибок учитель отметил (птичкой) ? (шахматное) объявлять шах (карточное) пасовать располагать в шахматном порядке делать выговор;
давать нагоняй;
разносить( сельскохозяйственное) приостанавливать( рост) (специальное) делать щели;
вызывать трещины (специальное) покрываться трещинами, щелями (устаревшее) внезапно остановиться (перед чем-л) ;
отшатнуться (от чего-л) (морское) травить( шахматное) шах! (просторечие) ладно!, точно!, договорились! (американизм) (финансовое) чек - bank * банковский чек - сertified * удостоверенный чек, чек с надписью банка о принятии к платежу - crossed * кроссированный чек - town * чек на банк в Лондонском Сити - traveller's * дорожный чек( американизм) выписывать чек - to * upon a banker for $100 выдать чек на какой-л. банк на сумму в 100 долларов access ~ вчт. контроль доступа automatic ~ вчт. автоматический контроль bias ~ профилактический контроль block ~ вчт. контроль блоков block ~ вчт. проверка по блокам bound ~ вчт. контроль границ built-in ~ вчт. встроенный контроль bus-out ~ вчт. контроль выходной шины ~ attr. клетчатый;
to keep (или to hold) in check сдерживать;
to cash (или to hand, to pass) in one's checks умереть cashier's ~ кассирский чек check багажная квитанция ~ делать выговор;
давать нагоняй ~ делать выговор ~ задержка ~ клетка (на материи) ;
клетчатая ткань ~ контрамарка;
корешок (билета и т. п.) ~ контрамарка ~ контролировать ~ контроль, проверка;
loyalty check амер. проверка лояльности( государственных служащих) ~ контроль ~ контрольный штемпель;
галочка (знак проверки) ~ корешок, номерок ~ корешок билета ~ номерок (в гардеробе) ~ обуздывать ~ шахм. объявлять шах ~ останавливать(ся) ;
сдерживать;
препятствовать ~ останавливать ~ остановка ~ отметка в документе ~ отметка о проверке ~ отмечать галочкой ~ переводной вексель, оплачиваемый по предъявлении ~ потеря охотничьей собакой следа ~ препятствие;
остановка;
задержка;
without check без задержки, безостановочно ~ препятствие ~ препятствовать ~ принимать на хранение ~ проверка ~ проверять, контролировать ~ проверять ~ располагать в шахматном порядке ~ расследовать ~ ревизовать ~ амер. сдавать (в гардероб, в камеру хранения, в багаж и т. п.) ;
check in сдавать под расписку;
регистрировать (ся), записывать(ся) ~ сдерживать ~ сличать ~ трещина, щель (в дереве) ~ амер. фишка, марка (в карт. игре) ~ амер. чек ~ (амер.) чек ~ чек ~ шахм. шах (употр. тж. как int) ;
the king is in check королю объявлен шах ~ ярлык;
багажная квитанция ~ against проверять на соответствие ~ attr. клетчатый;
to keep (или to hold) in check сдерживать;
to cash (или to hand, to pass) in one's checks умереть ~ attr. контрольный;
check experiment контрольный опыт;
check ballot проверочное голосование ~ attr. контрольный;
check experiment контрольный опыт;
check ballot проверочное голосование ~ attr. контрольный;
check experiment контрольный опыт;
check ballot проверочное голосование ~ амер. сдавать (в гардероб, в камеру хранения, в багаж и т. п.) ;
check in сдавать под расписку;
регистрировать (ся), записывать(ся) ~ in отмечаться при приходе на работу ~ in регистрировать ~ in сдавать на хранение ~ in сдавать под расписку ~ off отмечать галочкой ~ off удерживать из заработной платы ~ out освободить номер в гостинице ~ out амер. отметиться при уходе с работы по окончании рабочего дня ~ out отмечаться при уходе с работы ~ out радио отстроиться ~ out оформлять выдачу ~ out оформлять получение ~ out подсчитывать стоимость покупок и выбивать чек ~ out амер. уйти в отставку ~ the figures проверять расчеты ~ up проверять ~ with совпадать, соответствовать claim ~ квитанция на получение заказа, вещей после ремонта claim ~ квитанция на получение товара code ~ вчт. проверка программы compile-time ~ вчт. статическая проверка composition ~ вчт. проверка плотности composition ~ вчт. проверка полноты computation ~ вчт. проверка вычислений consistency ~ вчт. проверка на непротиворечивость control totals ~ вчт. проверка с помощью контрольных сумм copy ~ вчт. контроль дублированием copy ~ проверка копии credibility ~ проверка правдоподобия cross ~ вчт. перекрестный контроль current ~ вчт. текущий контроль customs ~ таможенный досмотр customs ~ таможенный контроль customs ~ таможенный чек cyclic redundancy ~ вчт. контроль циклическим избыточным кодом data ~ вчт. контроль данных data-type ~ вчт. контроль типов данных desk ~ вчт. проверка программы за столом diagnostic ~ вчт. диагностический контроль dump ~ вчт. контроль по распечатке duplication ~ вчт. контроль дублированием dynamic ~ вчт. динамический контроль edit ~ вчт. контрольное редактирование error ~ вчт. контроль ошибок even-odd ~ вчт. контроль по четности even-parity ~ вчт. контроль по четности false-code ~ вчт. контроль запрещенных комбинаций flag ~ вчт. флаговый контроль format ~ вчт. контроль формата functional ~ вчт. функциональная проверка gate ~ пропускной контроль hardware ~ вчт. аппаратный контроль hierarchical ~ вчт. иерархический контроль high-low bias ~ вчт. граничная проверка horizontal redundancy ~ вчт. поперечный контроль illegal-command ~ вчт. контроль запрещенных команд imparity ~ вчт. контроль по нечетности imparity ~ вчт. проверка на нечетность improper-command ~ вчт. контроль запрещенных команд in-line ~ вчт. встроенный контроль in-line ~ вчт. оперативный контроль input ~ вчт. входный контроль internal ~ вчт. внутренний контроль internal ~ внутренняя проверка ~ attr. клетчатый;
to keep (или to hold) in check сдерживать;
to cash (или to hand, to pass) in one's checks умереть ~ шахм. шах (употр. тж. как int) ;
the king is in check королю объявлен шах lexical ~ вчт. лексический контроль limit ~ проверка возможностей line-by-line ~ вчт. построчная проверка loop ~ вчт. контроль путем обратной передачи ~ контроль, проверка;
loyalty check амер. проверка лояльности (государственных служащих) marginal ~ вчт. граничная проверка marginal ~ вчт. профилактический котроль naught ~ вчт. проверка на ноль negative ~ вчт. проверка на отрицательное значение odd-even ~ вчт. контроль по четности odd-even ~ вчт. контроль четности odd-parity ~ вчт. контроль четности on-line rule ~ вчт. оперативная проверка правила on-the-spot ~ контроль на месте overflow ~ вчт. контроль переполнения page ~ вчт. групповой страничный контроль parity ~ вчт. контроль по четности parity ~ вчт. контроль четности pass-out ~ амер. = passout pass-out ~ амер. = passout passcheck: passcheck = passout passport ~ паспортный контроль peak-a-boo ~ вчт. проверка на просчет photocell ligth ~ оптический контроль postmortem ~ вчт. постконтроль privacy ~ вчт. проверка конфиденциальности program ~ вчт. проверка программы program ~ вчт. программный контроль programmed ~ вчт. программный контроль quality ~ проверка качества random ~ выборочная проверка random sample ~ проверка случайной выборки range ~ вчт. контроль границ range ~ вчт. контроль попадания read-back ~ вчт. эхопроверка reasonability ~ вчт. проверка на непротиворечивость reasonability ~ вчт. смысловая проверка redundancy ~ вчт. контроль за счет избыточности residue ~ вчт. контроль по остатку reversal ~ вчт. реверсивная проверка rights ~ вчт. проверка прав routine ~ обычная проверка routine ~ вчт. программный контроль routine ~ текущая проверка run-time ~ вчт. динамическая проверка run-time ~ вчт. динамический контроль security ~ проверка безопасности selection ~ вчт. выборочный контроль semantic ~ вчт. семантический контроль sequence ~ вчт. контроль порядка следования sequence ~ comp. контроль порядка следования sequence ~ comp. проверка упорядоченности sight ~ вчт. визуальный контроль sight ~ вчт. проверка на просвет sign ~ вчт. контроль по знаку special crossed ~ специальный кроссированный чек spelling ~ comp. орфографическая проверка spot ~ выборочная проверка spot ~ выборочная ревизия spot ~ проверка на выборку static ~ вчт. статический контроль status ~ comp. контроль состояния stock ~ проверка состояния запасов store ~ проверка состояния запасов structural ~ вчт. структурный контроль sum ~ контроль по сумме sum ~ контроль суммированием sum ~ вчт. проверка по сумме sum ~ проверка по сумме sum ~ проверка суммированием summation ~ вчт. контроль суммированием summation ~ контроль суммированием summation ~ проверка суммированием summation ~ вчт. проверка суммирования syntactic ~ вчт. синтаксический контроль system ~ вчт. системный контроль systems ~ проверка состояния систем technical ~ технический контроль test ~ контрольная проверка test ~ контрольное испытание test ~ вчт. тестовый контроль total ~ вчт. проверка по сумме transfer ~ вчт. контроль передачи transfer ~ переводной чек tranverce ~ вчт. поперечный контроль twin ~ вчт. двойной счет type ~ вчт. контроль соответствия типов type ~ вчт. контроль типов validity ~ вчт. контроль правильности validity ~ вчт. проверка адекватности validity ~ вчт. проверка достоверности validity ~ вчт. проверка на достоверность wired-in ~ вчт. аппаратный контроль wired-in ~ вчт. встроенный аппаратный контроль ~ препятствие;
остановка;
задержка;
without check без задержки, безостановочно -
12 checker
1) проверочное устройство, проверочный блок; средство или устройство контроля2) программа контроля, контролирующая программа•- codeword checker
- compatibility checker
- consistency checker
- design-rule checker
- duplication checker
- parity prediction checker
- parity checker
- spelling checker
- spell checker
- style checker
- syntactic checker
- syntax checker
- well-formedness checkerEnglish-Russian dictionary of computer science and programming > checker
-
13 error
- absolute error
- accidental error
- accumulated error
- accuracy error
- actual error
- addressing error
- admissible error
- alignment error
- alpha error
- altering error
- ambiguity error
- amplitude error
- analytic truncation error
- approximation error
- arithmetic error
- ascertainment error
- asymptotic error
- bad call format error
- bad command error
- bad tape error
- bad unit error
- balanced error
- balancing error
- beta error
- bias error
- black-to-white error
- block error
- burst error
- call error
- causative error
- chance error
- characteristic error
- checksum error
- code error
- coefficient setting error
- coincidence error
- common error
- compare error
- compensating error
- completeness error
- composition error
- computational error
- configuration error
- connection error
- consistency error
- constant error
- constructional error
- construction error
- contributory error
- control error
- correctable error
- correlated errors
- cratered error
- cumulative error
- data error
- data handling error
- database interface error
- data-bit error
- declare error
- deletion error
- design error
- detectable error
- determinable error
- difficult-to-locate error
- displacement error
- distinct errors
- documentation error
- double error
- double-bit error
- downward error
- drift error
- dropout error
- dynamic error
- error of behavior
- error of calculations
- error of estimation
- error of first kind
- error of solution
- error per digit
- estimated error
- estimation error
- ever-increasing error
- execution error
- expected squared error
- experimental error
- external error
- fabrication error
- fatal error
- fatal hard error
- fencepost error
- file error
- fixed error
- following error
- framing error
- frequency error
- general error
- generated error
- gross error
- handling error
- hard error
- human error
- human-factor error
- hysteresis error
- illegal control-message error
- implementation error
- indeterminate error
- inherent error
- inherited error
- initial error
- in-process error
- input error
- input/output error
- insertion error
- insidious error
- instrumental error
- intentional error
- intermittent error
- intrinsic error
- introduced error
- isolated error
- limiting error
- linearity error
- link error
- loading error
- logical error
- machine error
- marginal error
- mark-track error
- matching error
- maximum error
- mean-root-square error
- mean-square error
- metering error
- minor errors
- missing error
- misuse error
- module-parity check error
- module-parity error
- multiple error
- multiplier zero error
- no-job definition error
- non-DOS disk error
- nonsampling error
- no-paper error
- not ready error
- numerical error
- off-by-one error
- operating error
- operator error
- out of memory error
- output error
- overflow error
- overrun error
- parity check error
- parity error
- patching error
- pattern-sensitive error
- periodic error
- permissible error
- phase error
- physical error
- potentiometer loading error
- precautionary error
- predictable error
- preset database error
- probable error
- program error
- program-dependent error
- program-sensitive error
- propagated error
- propagation error
- pulse-train-starting error
- quantization error
- quit error
- random error
- read fault error
- reasonable error
- recoverable error
- recurrent error
- reduced error
- rejection error
- relative error
- repetitive error
- requirement error
- requirements compliance error
- residual error
- resolution error
- response error
- restoration error
- resultant error
- root-mean-square error
- rounding error
- roundoff error
- sampling error
- sector not found error
- seek error
- select error
- semantic error
- sequence error
- setup error
- similar errors
- single error
- single-bit error
- single-step error
- size error
- soft error
- software error
- solid burst error
- solid error
- specification error
- spelling error
- static error
- statistical error
- steady-state error
- stored error
- substitution error
- subtle error
- symptomatic error
- syntactic error
- syntax error
- system error
- systematical error
- systematic error
- time error
- time-base error
- timing error
- tolerated error
- total error
- transient error
- transmission error
- transmitted error
- triple error
- truncation error
- type I error
- typing error
- unbiased error
- uncompensated error
- uncorrectable error
- underflow error
- underrun error
- undetectable error
- unidentified error
- unidirectional error
- uniformly bounded error
- unrecoverable error
- usage error
- white-black error
- wiring error
- write error
- write fault error
- write protect error
- zero error
- zero point error
- zero-drift errorEnglish-Russian dictionary of computer science and programming > error
-
14 property
1) свойство; качество; атрибут2) имущество; собственность3) способность•- fixed point property - minimum norm property - property of being atomistic - property of being centered - property of being holomorphic - property of being meromorphic - property of being odd - property of being two-valued - property of being unitary -
15 check
[tʃek]access check вчт. контроль доступа automatic check вчт. автоматический контроль bias check профилактический контроль block check вчт. контроль блоков block check вчт. проверка по блокам bound check вчт. контроль границ built-in check вчт. встроенный контроль bus-out check вчт. контроль выходной шины check attr. клетчатый; to keep (или to hold) in check сдерживать; to cash (или to hand, to pass) in one's checks умереть cashier's check кассирский чек check багажная квитанция check делать выговор; давать нагоняй check делать выговор check задержка check клетка (на материи); клетчатая ткань check контрамарка; корешок (билета и т. п.) check контрамарка check контролировать check контроль, проверка; loyalty check амер. проверка лояльности (государственных служащих) check контроль check контрольный штемпель; галочка (знак проверки) check корешок, номерок check корешок билета check номерок (в гардеробе) check обуздывать check шахм. объявлять шах check останавливать(ся); сдерживать; препятствовать check останавливать check остановка check отметка в документе check отметка о проверке check отмечать галочкой check переводной вексель, оплачиваемый по предъявлении check потеря охотничьей собакой следа check препятствие; остановка; задержка; without check без задержки, безостановочно check препятствие check препятствовать check принимать на хранение check проверка check проверять, контролировать check проверять check располагать в шахматном порядке check расследовать check ревизовать check амер. сдавать (в гардероб, в камеру хранения, в багаж и т. п.); check in сдавать под расписку; регистрировать (ся), записывать(ся) check сдерживать check сличать check трещина, щель (в дереве) check амер. фишка, марка (в карт. игре) check амер. чек check (амер.) чек check чек check шахм. шах (употр. тж. как int); the king is in check королю объявлен шах check ярлык; багажная квитанция check against проверять на соответствие check attr. клетчатый; to keep (или to hold) in check сдерживать; to cash (или to hand, to pass) in one's checks умереть check attr. контрольный; check experiment контрольный опыт; check ballot проверочное голосование check attr. контрольный; check experiment контрольный опыт; check ballot проверочное голосование check attr. контрольный; check experiment контрольный опыт; check ballot проверочное голосование check амер. сдавать (в гардероб, в камеру хранения, в багаж и т. п.); check in сдавать под расписку; регистрировать (ся), записывать(ся) check in отмечаться при приходе на работу check in регистрировать check in сдавать на хранение check in сдавать под расписку check off отмечать галочкой check off удерживать из заработной платы check out освободить номер в гостинице check out амер. отметиться при уходе с работы по окончании рабочего дня check out отмечаться при уходе с работы check out радио отстроиться check out оформлять выдачу check out оформлять получение check out подсчитывать стоимость покупок и выбивать чек check out амер. уйти в отставку check the figures проверять расчеты check up проверять check with совпадать, соответствовать claim check квитанция на получение заказа, вещей после ремонта claim check квитанция на получение товара code check вчт. проверка программы compile-time check вчт. статическая проверка composition check вчт. проверка плотности composition check вчт. проверка полноты computation check вчт. проверка вычислений consistency check вчт. проверка на непротиворечивость control totals check вчт. проверка с помощью контрольных сумм copy check вчт. контроль дублированием copy check проверка копии credibility check проверка правдоподобия cross check вчт. перекрестный контроль current check вчт. текущий контроль customs check таможенный досмотр customs check таможенный контроль customs check таможенный чек cyclic redundancy check вчт. контроль циклическим избыточным кодом data check вчт. контроль данных data-type check вчт. контроль типов данных desk check вчт. проверка программы за столом diagnostic check вчт. диагностический контроль dump check вчт. контроль по распечатке duplication check вчт. контроль дублированием dynamic check вчт. динамический контроль edit check вчт. контрольное редактирование error check вчт. контроль ошибок even-odd check вчт. контроль по четности even-parity check вчт. контроль по четности false-code check вчт. контроль запрещенных комбинаций flag check вчт. флаговый контроль format check вчт. контроль формата functional check вчт. функциональная проверка gate check пропускной контроль hardware check вчт. аппаратный контроль hierarchical check вчт. иерархический контроль high-low bias check вчт. граничная проверка horizontal redundancy check вчт. поперечный контроль illegal-command check вчт. контроль запрещенных команд imparity check вчт. контроль по нечетности imparity check вчт. проверка на нечетность improper-command check вчт. контроль запрещенных команд in-line check вчт. встроенный контроль in-line check вчт. оперативный контроль input check вчт. входный контроль internal check вчт. внутренний контроль internal check внутренняя проверка check attr. клетчатый; to keep (или to hold) in check сдерживать; to cash (или to hand, to pass) in one's checks умереть check шахм. шах (употр. тж. как int); the king is in check королю объявлен шах lexical check вчт. лексический контроль limit check проверка возможностей line-by-line check вчт. построчная проверка loop check вчт. контроль путем обратной передачи check контроль, проверка; loyalty check амер. проверка лояльности (государственных служащих) marginal check вчт. граничная проверка marginal check вчт. профилактический котроль naught check вчт. проверка на ноль negative check вчт. проверка на отрицательное значение odd-even check вчт. контроль по четности odd-even check вчт. контроль четности odd-parity check вчт. контроль четности on-line rule check вчт. оперативная проверка правила on-the-spot check контроль на месте overflow check вчт. контроль переполнения page check вчт. групповой страничный контроль parity check вчт. контроль по четности parity check вчт. контроль четности pass-out check амер. = passout pass-out check амер. = passout passcheck: passcheck = passout passport check паспортный контроль peak-a-boo check вчт. проверка на просчет photocell ligth check оптический контроль postmortem check вчт. постконтроль privacy check вчт. проверка конфиденциальности program check вчт. проверка программы program check вчт. программный контроль programmed check вчт. программный контроль quality check проверка качества random check выборочная проверка random sample check проверка случайной выборки range check вчт. контроль границ range check вчт. контроль попадания read-back check вчт. эхопроверка reasonability check вчт. проверка на непротиворечивость reasonability check вчт. смысловая проверка redundancy check вчт. контроль за счет избыточности residue check вчт. контроль по остатку reversal check вчт. реверсивная проверка rights check вчт. проверка прав routine check обычная проверка routine check вчт. программный контроль routine check текущая проверка run-time check вчт. динамическая проверка run-time check вчт. динамический контроль security check проверка безопасности selection check вчт. выборочный контроль semantic check вчт. семантический контроль sequence check вчт. контроль порядка следования sequence check comp. контроль порядка следования sequence check comp. проверка упорядоченности sight check вчт. визуальный контроль sight check вчт. проверка на просвет sign check вчт. контроль по знаку special crossed check специальный кроссированный чек spelling check comp. орфографическая проверка spot check выборочная проверка spot check выборочная ревизия spot check проверка на выборку static check вчт. статический контроль status check comp. контроль состояния stock check проверка состояния запасов store check проверка состояния запасов structural check вчт. структурный контроль sum check контроль по сумме sum check контроль суммированием sum check вчт. проверка по сумме sum check проверка по сумме sum check проверка суммированием summation check вчт. контроль суммированием summation check контроль суммированием summation check проверка суммированием summation check вчт. проверка суммирования syntactic check вчт. синтаксический контроль system check вчт. системный контроль systems check проверка состояния систем technical check технический контроль test check контрольная проверка test check контрольное испытание test check вчт. тестовый контроль total check вчт. проверка по сумме transfer check вчт. контроль передачи transfer check переводной чек tranverce check вчт. поперечный контроль twin check вчт. двойной счет type check вчт. контроль соответствия типов type check вчт. контроль типов validity check вчт. контроль правильности validity check вчт. проверка адекватности validity check вчт. проверка достоверности validity check вчт. проверка на достоверность wired-in check вчт. аппаратный контроль wired-in check вчт. встроенный аппаратный контроль check препятствие; остановка; задержка; without check без задержки, безостановочно
См. также в других словарях:
Consistency — For other uses, see Consistency (disambiguation). In logic, a consistent theory is one that does not contain a contradiction.[1] The lack of contradiction can be defined in either semantic or syntactic terms. The semantic definition states that a … Wikipedia
Syntactic predicate — A syntactic predicate specifies the syntactic validity of applying a production in a formal grammar and is analogous to a semantic predicate that specifies the semantic validity of applying a production. It is a simple and effective means of… … Wikipedia
Hilbert's second problem — In mathematics, Hilbert s second problem was posed by David Hilbert in 1900 as one of his 23 problems. It asks for a proof that arithmetic of real numbers is consistent.In the 1930s, Kurt Gödel and Gerhard Gentzen proved results that cast new… … Wikipedia
List of philosophy topics (R-Z) — RRaRabad Rabbinic law Rabbinic theology Francois Rabelais François Rabelais race racetrack paradox racism Gustav Radbruch Janet Radcliffe Richards Sarvepalli Radhakrishnan radical Aristotelianism radical behaviourism radical feminism radical… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
HEBREW GRAMMAR — The following entry is divided into two sections: an Introduction for the non specialist and (II) a detailed survey. [i] HEBREW GRAMMAR: AN INTRODUCTION There are four main phases in the history of the Hebrew language: the biblical or classical,… … Encyclopedia of Judaism
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Metalogic — is the study of the metatheory of logic. While logic is the study of the manner in which logical systems can be used to decide the correctness of arguments, metalogic studies the properties of the logical systems themselves.[1] According to… … Wikipedia
Theory (mathematical logic) — This article is about theories in a formal language, as studied in mathematical logic. For other uses, see Theory (disambiguation). In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually… … Wikipedia
Description logic — (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first order predicate logic. DL is used in artificial intelligence for formal reasoning on … Wikipedia
HEBREW LANGUAGE — This entry is arranged according to the following scheme: pre biblical biblical the dead sea scrolls mishnaic medieval modern period A detailed table of contents precedes each section. PRE BIBLICAL nature of the evidence the sources phonology… … Encyclopedia of Judaism